Points-To for Java: A General Framework and an Empirical Comparison
نویسندگان
چکیده
Points-to analysis for Java is di erent from points-to for C or even C++. We present a framework whi h generalizes popular points-to algorithms and generates set onstraints from full Java byte ode. The framework exploits previously omputed points-to sets in a xpoint iteration for pre ise resolution of dynami binding. We then ompare implementations of this framework for uni ation-based and subsetbased analysis. It turns out that { in ontrast to the C situation { both approa hes have about the same running time, while the subset-based algorithm is still more pre ise. The uni ation-based method is slowed down be ause its inherent impre ision a umulates during xpoint iteration.
منابع مشابه
Framework for Prioritizing Solutions in Overcoming Data Quality Problems Using Analytic Hierarchy Process (AHP)
The Central Statistics Agency (BPS) is a government institution that has the authority to carry out statistical activities in the form of censuses and surveys, to produce statistical data needed by the government, the private sector and the general public, as a reference in planning, monitoring, and evaluation of development results. Therefore, providing quality statistical data is very decisiv...
متن کاملOptimal Policy Rules for Iran in a DSGE Framework (Islamic Musharakah Approach)
The aim of this paper is determination of an optimal policy rule for Iranian economy from an Islamic perspective. This study draws on an Islamic instrument known as the Musharakah contract to design a dynamic stochastic general equilibrium model. In this model the interest rate is no longer considered as a monetary policy instrument and the focus is on the impact of economic shocks on the Dynam...
متن کاملCUSTOMER RELATIONSHIP MANAGEMENT AND ORGANISATIONAL COMPETETIVENESS OF COMMERCIAL BANKS IN CHENNAI
Commercial Banks and Financial Institutions are recognizing that they can no longer look at a customer from a specific product but must encompass the entire customer relationship to fully understand a client‘s profitability. From a strategic standpoint, Customer Relationship Management (CRM) mobilizes resources around customer relationships rather than product groups and fosters activities that...
متن کاملEmpirical Correlations and an Artificial Neural Network Approach to Estimate Saturated Vapor Pressure of Refrigerants
The examination of available vapor pressure data in the case of the methane, ethane, propane and butane halogenated refrigerants, allowed recommendations of standard equations for this property. In this study, three new models include a general correlation; a substance-dependent correlation and an artificial neural network (ANN) approach have been developed to estimate the saturated vapor press...
متن کاملAn Empirical Comparison between Grade of Membership and Principal Component Analysis
t is the purpose of this paper to contribute to the discussion initiated byWachter about the parallelism between principal component (PC) and atypological grade of membership (GoM) analysis. The author testedempirically the close relationship between both analysis in a lowdimensional framework comprising up to nine dichotomous variables and twotypologies. Our contribution to the subject is also...
متن کامل